21![CertiCrypt Language-Based Cryptographic Proofs in Coq Gilles Barthe1,2 Benjamin Grégoire1,3 Santiago Zanella 1,3 1 Microsoft CertiCrypt Language-Based Cryptographic Proofs in Coq Gilles Barthe1,2 Benjamin Grégoire1,3 Santiago Zanella 1,3 1 Microsoft](https://www.pdfsearch.io/img/beedfb26862e44d939a563ab09a6e9ec.jpg) | Add to Reading ListSource URL: certicrypt.gforge.inria.frLanguage: English - Date: 2013-06-17 13:32:36
|
---|
22![Authenticated Encryption in Theory and in Practice Jean Paul Degabriele Thesis submitted to the University of London for the degree of Doctor of Philosophy Authenticated Encryption in Theory and in Practice Jean Paul Degabriele Thesis submitted to the University of London for the degree of Doctor of Philosophy](https://www.pdfsearch.io/img/4d29c64727b8ef71000ed854dc3c7abf.jpg) | Add to Reading ListSource URL: www.isg.rhul.ac.ukLanguage: English - Date: 2014-10-10 11:05:41
|
---|
23![Beyond Provable Security Verifiable IND-CCA Security of OAEP Gilles Barthe1 , Benjamin Gr´egoire2, Yassine Lakhnech3 , and Santiago Zanella B´eguelin1 1 Beyond Provable Security Verifiable IND-CCA Security of OAEP Gilles Barthe1 , Benjamin Gr´egoire2, Yassine Lakhnech3 , and Santiago Zanella B´eguelin1 1](https://www.pdfsearch.io/img/edf0cdf836cd28bb9a944e84a1a02672.jpg) | Add to Reading ListSource URL: certicrypt.gforge.inria.frLanguage: English - Date: 2013-06-17 13:32:36
|
---|
24![CertiCrypt Language-Based Cryptographic Proofs in Coq Gilles Barthe1,2 Benjamin Grégoire1,3 Santiago Zanella 1,3 1 Microsoft CertiCrypt Language-Based Cryptographic Proofs in Coq Gilles Barthe1,2 Benjamin Grégoire1,3 Santiago Zanella 1,3 1 Microsoft](https://www.pdfsearch.io/img/95f11a670c05543ff025037a4ce7009a.jpg) | Add to Reading ListSource URL: software.imdea.orgLanguage: English - Date: 2013-03-13 12:33:24
|
---|
25![Beyond Provable Security Verifiable IND-CCA Security of OAEP Gilles Barthe1 , Benjamin Gr´egoire2, Yassine Lakhnech3 , and Santiago Zanella B´eguelin1 1 Beyond Provable Security Verifiable IND-CCA Security of OAEP Gilles Barthe1 , Benjamin Gr´egoire2, Yassine Lakhnech3 , and Santiago Zanella B´eguelin1 1](https://www.pdfsearch.io/img/c79eca89a318962b2e4accc9bb6d0a55.jpg) | Add to Reading ListSource URL: software.imdea.orgLanguage: English - Date: 2013-03-13 12:33:24
|
---|
26![Curriculum Vitae Silvio Micali Ford Professor of Engineering Electrical Engineering and Computer Science Department Stata Center, Room G644, 32 Vassar Street, Cambridge, MA5949 Curriculum Vitae Silvio Micali Ford Professor of Engineering Electrical Engineering and Computer Science Department Stata Center, Room G644, 32 Vassar Street, Cambridge, MA5949](https://www.pdfsearch.io/img/4ab82b605ad88eb0505a11566dcf6bb1.jpg) | Add to Reading ListSource URL: people.csail.mit.eduLanguage: English - Date: 2015-04-22 20:29:48
|
---|
27![Non-Repudiable Provable Data Possession in Cloud Storage Hongyuan Wang, Liehuang Zhu, Yijia Lilong, and Chang Xu School of Computer, Being Institute of Technology, Beijing, China, 100081 {wanghongyuan, liehuangz, lilongy Non-Repudiable Provable Data Possession in Cloud Storage Hongyuan Wang, Liehuang Zhu, Yijia Lilong, and Chang Xu School of Computer, Being Institute of Technology, Beijing, China, 100081 {wanghongyuan, liehuangz, lilongy](https://www.pdfsearch.io/img/209ca3b072d0fd21a4b75a99549816f8.jpg) | Add to Reading ListSource URL: eprint.iacr.orgLanguage: English - Date: 2015-05-06 07:36:32
|
---|
28![A Type System for Expressive Security Policies∗ David Walker Cornell University Strong type systems such as those of Java or ML provide provable guarantees about the run-time behaviour of programs. If we type check pro A Type System for Expressive Security Policies∗ David Walker Cornell University Strong type systems such as those of Java or ML provide provable guarantees about the run-time behaviour of programs. If we type check pro](https://www.pdfsearch.io/img/2e78d850217500beae93ecce844f34ee.jpg) | Add to Reading ListSource URL: www.cs.cornell.eduLanguage: English - Date: 1999-11-02 01:07:11
|
---|
29![BMGL: Synchronous Key-stream Generator with Provable Security (Revision 1) Johan H˚ astad∗ NADA, Royal Inst. of Technology SE[removed]Stockholm, Sweden BMGL: Synchronous Key-stream Generator with Provable Security (Revision 1) Johan H˚ astad∗ NADA, Royal Inst. of Technology SE[removed]Stockholm, Sweden](https://www.pdfsearch.io/img/b497437919a4857a6f34ccf371859aa5.jpg) | Add to Reading ListSource URL: www.cosic.esat.kuleuven.beLanguage: English - Date: 2001-03-16 15:30:07
|
---|
30![Pseudorandom Functions and Lattices Abhishek Banerjee1 1 Georgia Chris Peikert1 Institute of Technology Pseudorandom Functions and Lattices Abhishek Banerjee1 1 Georgia Chris Peikert1 Institute of Technology](https://www.pdfsearch.io/img/b1205cbd29597f086fa18f1dae4a4557.jpg) | Add to Reading ListSource URL: www.iacr.orgLanguage: English - Date: 2012-04-20 07:04:19
|
---|